package parser;

import java.io.File;
import java.io.FileFilter;

/**
 * This class will filter the files and retrieve only
 * those that end with ".dtd"
 * 
 */

public class DtdFileFilter implements FileFilter {
	public boolean accept(File f) {
		if (f.getName().toLowerCase().endsWith(".dtd")) {
			return true;
		} else {
			return false;
		}
	}
}
